Home
Research
Papers
Future events
Event organization
Invited presentations
Program committees
Contact me
|
|
www.havelund.com
Wrt. this webpage design: remember, it is not all about looks.
Klaus Havelund
Jet Propulsion Laboratory
Laboratory for Reliable Software
JPL is a NASA field center.
JPL is a
Federally Funded Research and Development Center
(FFRDC).
JPL is managed by
California Institute of Technology
(Caltech).
JPL on the wikipedia.
I am a
Senior Research Scientist (SRS)
&
elected SRS council member.
I am also a JPL principal.
Member of IFIP
WG 1.9/2.15.
On the editorial board for
FoMaC
Transactions on Foundations for Mastering Change.
Member of the External Expert Group for
COEMS -
Continuous Observation of Embedded Multicore Systems.
Member of the Association for Computing Machinery (ACM).
My CV.
The paper Model Checking Programs,
Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon Park,
published at the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000),
won the 2020 SIGSOFT Impact Paper Award!.
The paper Monitoring Java Programs with Java PathExplorer,
Klaus Havelund and Grigore Rosu,
published at The First Workshop on Runtime Verification (RV'01), Paris, France, 23 July 2001. Electronic Notes in Theoretical Computer Science, Volume 55, Number 2, 2001, won the
RV 2018 Test of Time award.
The paper Monitoring Programs using Rewriting,
Klaus Havelund and Grigore Rosu,
published at ASE 2001, won the
ASE 2016 Most
Influential Paper award.
The paper Model checking programs,
Willem Visser, Klaus Havelund, Guilleume Brat, and SeungJoon park,
published at ASE 2000, won the
ASE 2014 Most
Influential Paper award.
The LogFire tool (described in this
paper)
won the offline track (log analysis) of
CRV-2015,
The 2nd International Competition on Runtime Verification.
Held in connection with
RV'15,
The 15th International Conference on Runtime Verification,
September 22 - September 25, 2015 Vienna, Austria.
A language for modeling and programming: K.
Created in an effort to provide a textual language for SysML, and inspired by
formal specification languages such as Z and VDM. Supported by SMT. Try the online K
editor.
Java Coding Standard
A standard for coding in Java, developed for JPL, in a collaboration between JPL (Havelund)
and semmle.com.
Earlier version of Java coding standard here
Teaching
As Appointed Lecturer in Computer Science at California Institute of Technology, 2008 and 2009:
CS119 Part II : Program Monitoring, 2008
Class given at California Institute of Technology, from April 28 - May 29, 2008.
CS119 Part II : Program Monitoring, 2009
Class given at California Institute of Technology, May, 2009.
Free website templates
|
|